Saul and Solomon are two different Hebrew names--Shaul vs. Shlomo.
Sol is most commonly short for Solomon. However, correspondence
between Hebrew names and what people were called in English can be
pretty random, especially for similar sounding names. It's easy to
slip between Saul and Sol in either direction. I suspect you have a