TSTP Solution File: DAT060_1 by Refute---2015