test:
	g++ -std=c++20 main.cpp -I. -DVAL=$(VAL) -DTASK=$(TASK) -DPUT=$(PUT) $(NAME)/dominating_set.cpp
	./a.out
ifneq ($(TASK), 1)
	-minisat lpi01.txt
endif


