Assignment 12 -- solutions