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