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