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