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