TSTP Solution File: NUM920_1 by E-Darwin---1.5