TSTP Solution File: SET218-6 by SInE---0.4