4.sat_1