puresat-0.1: dimacs/phole/hole4.cnf