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