add simple test for naive_solver