22.51/23.88	unsat
