TSTP Solution File: SEU426+2 by Refute---2015