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