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