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