691.46/695.05	unsat
