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