Add SML solution