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