Given the following table "
CREATE TABLE IF NOT EXISTS canalysis(
id BIGINT PRIMARY KEY,
device 	varchar(80) NOT NULL,
year TIMESTAMP NOT NULL,
quarter SMALLINT NOT NULL,
market_share INT NULL,
creation_time TIMESTAMP NOT NULL DEFAULT NOW()
CONSTRAINT device UNIQUE(acer, asus, lenovo));",
create a SLQ query for this request "Give me the market share of Lenovo devices for K012 at the Q2 of 2022"