This is QMaxSAT version 0.21a based on minisat 2.2.0 with same heuristics as minisat 2.0.