TSTP Solution File: FLD099-3 by SInE---0.4