TSTP Solution File: SEU944^5 by E-Darwin---1.5