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