16.85/17.66	unsat
