6.67/10.69	unsat
