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