6.68/7.05	unsat
