PCP instance solver