Minisat  2.2.0 with DRUP UNSAT proof patch and SAT Competition output format