TSTP Solution File: GRP124-7.004 by Refute---2015