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