A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs.