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