TSTP Solution File: SEU351+1 by Refute---2015