Main - Solving tilde