16.66/17.52	unsat
