sat_solve is now build in 'all', test replacfes test-full in Makefile
targets.