6.68/10.67	unsat
