22.74/22.80	unsat
