Integer factorisation and satisfiability formative assignment