fibonacci.sats