added new file target-sat.c target-sat.h