8.66/10.31	unsat
