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