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