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