soq.sat