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