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