LGM97

Multivariable results in long computation time.

2

@YaChienChang In my case, there are six variables, which leads to the calculation time of `CheckStatisfiability (condition, config)` is too long to be applied.` config` has been shrunk to 0.1....