17.85/17.98	unsat
