Now finds a solution