16.49/16.68	unsat
