691.50/694.44	unsat
