q6.unisat