TSTP Solution File: FLD037-1 by SInE---0.4