TSTP Solution File: SEU042+1 by Nitpick---2016