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