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