TSTP Solution File: SEU409+4 by Refute---2015