TSTP Solution File: GRP654+2 by Refute---2015