TSTP Solution File: GRP667-5 by Refute---2015