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