TSTP Solution File: DAT007_1 by Refute---2015