pq654.unisat