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