TSTP Solution File: BOO047-1 by Nitpick---2016