5.76/7.05	unsat
