fastsatfinder in 0 toolboxes