16.76/16.87	unsat
