TSTP Solution File: SEU289+1 by Nitpick---2016