16.62/16.73	unsat
