3NT for me. Despite 4 card support. 4333 is bad, 15 HCP is bad, AQJ is bad, 3 Jacks are bad. Ofcourse if partner has a stiff spade its probably better to play 5/6♣s. Still they havent lead a spade yet, and the stopper may be good enough for +630 anyway.