4q.sat