The Stochastic Local Search SAT Solver from UBC