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