TSTP Solution File: GRP166-4 by Refute---2015