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