CSRC += varelim.c distill.c sat.c util.c 
HEADERS += sat.h 
DEPENDENCYFILES = $(CSRC)