Add solution to 1.13