5.47/7.05	unsat
