22.32/22.48	unsat
