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