6qc2q.unisat