5.38/8.05	unsat
