TSTP Solution File: SEV175^5 by Refute---2015