2827.sat