3664.sat