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