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