Update ch12solution.py