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