debugging SOLA