TSTP Solution File: SEU781^1 by Refute---2015