TSTP Solution File: SEU288+2 by Nitpick---2016