16.97/18.98	unsat
