7.08/7.66	unsat
