TSTP Solution File: SEU407+4 by Nitpick---2016