In case you want a challenge, 11 is the smaller that has a solution that has not been proven to be optimal.