693.91/696.89	unsat
