TSTP Solution File: SEU803^2 by Refute---2015