TSTP Solution File: ANA091^1 by SInE---0.4