8.76/10.67	unsat
