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