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