Fix operator application
Fix solution printing