remake, fixed antecedents and ordered varDictionary for SAT check
remake, new antecedent calculation, random restart for beta with 5%
probability