7.68/8.66	unsat
