add few solutions to Logic.v