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