TSTP Solution File: SEU301+1 by Gandalf---c-2.6