8.68/10.68	unsat
