TSTP Solution File: GEG024_1 by Refute---2015