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