TSTP Solution File: DAT028_1 by Nitpick---2016