TSTP Solution File: GRP653+3 by Refute---2015