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