695.10/697.47	unsat
