16.66/17.47	unsat
