TSTP Solution File: DAT081_1 by Nitpick---2016