TSTP Solution File: SEU427+4 by Nitpick---2016