17.85/18.98	unsat
