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