TSTP Solution File: SEU748^1 by Nitpick---2016