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