add first solver test (failing)