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