61.86/62.20	unsat
