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