tambahin method runAllMinisat