bin/fc-solve