Rename sol to solve