22.63/22.77	unsat
