Recall the shopping database schema. A store is said to "offer" a product when that product occurs in its inventory on any date, at any quantity and for any price. Which one of the below Datalog programs expresses the natural language query List the product ids and names of all products that are not named 'Saffron' and were offered for a unit price that is maximal amongst all products that are not named 'Saffron'"? A(P) :- product(P, N, S), N "Saffron" B(P1) :- inventory(S1, P1, D1, Q1, U1), inventory(S2, P2, D2, Q2, U2), U1 "Saffron" B(P1) :- inventory(S, P1, D, Q, U1), inventory(S, P2, D, Q, U2), U1 "Saffron" B(P1):- inventory(S1, P1, D1, Q1, U1), inventory(S2, P2, D2, Q2, U2), U1 "Saffron" B(P1) :- inventory(S1, P1, D1, Q1, U1), inventory(S2, P2, D2, Q2, U2), U1 "Saffron" B(P1):- inventory(S1, P1, D1, Q1, U1), inventory(S2, P2, D2, Q2, U2), U1 "Saffron" B(P1):- inventory(S, P1, D, Q, U1), inventory(S, P2, D, Q, U2), U1