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