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