A Randomised Parallel Approach to Synthesis Based Constraint Satisfaction