22.25/23.88	unsat
