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