Add another problem to bsc/implementation