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