TSTP Solution File: REL046-1 by SInE---0.4