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