Solver: P2SH tests