3727.sat