691.91/697.84	unsat
