24.82/27.27	unsat
