TSTP Solution File: SEU669^2 by E-Darwin---1.5