16.74/16.82	unsat
