TSTP Solution File: GRP097-1 by Refute---2015