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