6.67/10.84	unsat
