Parallel SAT-Solving with OpenCL