Typesetting problem solutions for posterity.