Arbitrarily Large Labelled Random Satisfiability Formulas for Machine Learning Training