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