8.67/10.35	unsat
