A New Path Order for Exponential Time∗