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