SL problem spec