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