TSTP Solution File: SEU040+1 by Refute---2015