Now with a FCI solver