TSTP Solution File: GRP132-1.002 by Refute---2015