25.94/27.52	unsat
