25.43/27.05	unsat
