Title: Variation in the cost of computation when solving 3-SAT with different random variable orderings