heuristic/picosat2
