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