9.06/10.67	unsat
