alternative to computing sat