logic solved