694.12/694.89	unsat
