16.66/17.66	unsat
