p0q1r2.unisat