TSTP Solution File: ROB025-10 by SInE---0.4