TSTP Solution File: ROB006-1 by SRASS---0.1