Bug fix : Parameters are now stored before SAT generation