6.07/7.78	unsat
