22.82/24.37	unsat
