TSTP Solution File: BOO017-10 by Nitpick---2016