TSTP Solution File: GEG021_1 by Refute---2015