22.63/22.89	unsat
