3643.sat