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