TSTP Solution File: GRP378-1 by Refute---2015