q4.unisat