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