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