25.38/27.05	unsat
