Added debug output for find_solution(); return results in a set()