16.66/16.82	unsat
