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