bin/fc-solve
