16.62/16.80	unsat
