ramsey parallel brute force solver