/srcpkgs/minisat/