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