20.63/20.78	unsat
