6.59/10.66	unsat
