16.58/16.66	unsat
