TSTP Solution File: GRP667+6 by Refute---2015