unsat/dig not found