/patch-minisat_core_SolverTypes_h/1.1/Sun Aug 20 16:39:44 2017//
/patch-minisat_utils_System_cc/1.1/Sun Aug 20 16:39:44 2017//
D
