TSTP Solution File: DAT112_1 by Nitpick---2016