TSTP Solution File: DAT048_1 by Nitpick---2016