find a solution in