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