TSTP Solution File: DAT038_1 by Refute---2015