Terms up to a(6) were found by exhaustive search. a(7) and a(8) are based on extensive numerical evidence.
Currently (January 2017) known lower bounds for the next terms are a(9)>=23, a(10)>=26, a(11)>=28, a(12)>=30, a(13)>=32, a(14)>=35, a(15)>=36, a(16)>=38, a(17)>=42.