9.39/9.67	unsat
