siq.sat