frugnft.sat