TSTP Solution File: SEU353+2 by Nitpick---2016