Update solutions to Logic-2