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