3412.sat