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