7.68/10.08	unsat
