16.85/16.98	unsat
