TSTP Solution File: GRP778+1 by Refute---2015