707.46/710.09	unsat
