16.73/17.68	unsat
