22.76/22.88	unsat
