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