fix output formatting, JSON-like
add CB backtrack (slow)