solve(((40-3*x%