695.29/696.94	unsat
