Make example-14 solvable