17.97/18.01	unsat
