Think this works, but it does not find a solution