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