TSTP Solution File: GRP178-2 by Refute---2015