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