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