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