21.63/21.78	unsat
