2428.sat