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