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