q6587.unisat