8.96/10.66	unsat
