TSTP Solution File: COL094-2 by SRASS---0.1