22.48/22.74	unsat
