TSTP Solution File: NUM926+2 by CARINE---0.734