TSTP Solution File: GRA066^2 by Refute---2015