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