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