7.68/10.31	unsat
