22.82/23.35	unsat
