A perfect solution for 13 lines was found in 1999 by Kabanovitch. For details, see my column: http://www.maa.org/editorial/mathgames/mathgames_02_08_06.html 12 lines currently has the worst best solution, missing the upper bound by 2. Perfect solutions are known for 13 and 15 lines. Ed Pegg Jr