3.sat_1