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