TSTP Solution File: DAT308^1 by Nitpick---2016