2c.sat