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