Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT