test_minesolver
