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