p2q3r.unisat