TSTP Solution File: GRP131-2.002 by Refute---2015