qql.sat