8.67/10.46	unsat
