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