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