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


