6.08/9.66	unsat
