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