sources: main.c solver.c
target: minisat