TSTP Solution File: SEU957^5 by SInE---0.4